Finite automata - PDFSEARCH.IO - Document Search Engine

Finite automata
Results: 673

#	Item
591	Decidability of Bisimulation Equivalence for Pushdown Processes Colin Stirling Division of Informatics University of Edinburgh Edinburgh EH9 3JZ, UK Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:59:44 Applied mathematics Computer science Deterministic pushdown automaton Bisimulation Computability Context-free language Finite-state machine Automata theory Models of computation Theoretical computer science
592	Rational graphs trace context-sensitive languages Christophe Morvan1 and Colin Stirling2 1 IRISA, Campus de Beaulieu, 35042 Rennes, France Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:56:56 Automata theory Finite state transducer Graph Directed graph NP-complete problems Orbifold Adjacency matrix Graph theory Theoretical computer science Mathematics
593	An introduction to deciding higher-order matching Colin Stirling [removed] LFCS School of Informatics Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-12-22 09:12:38 Computer science Automata theory Formal methods Model checking Simply typed lambda calculus Model theory Finite-state machine Mathematical logic Lambda calculus Models of computation Theoretical computer science Theory of computation
594	State Machine Specification Directly in Java and C++ Alexander Sakharov Add to Reading List Source URL: sakharov.net Language: English - Date: 2008-05-18 20:05:49 Computer programming Automata theory Digital electronics Finite-state machine UML diagrams Counter Java C Sharp State diagram Computing Software engineering Models of computation
595	Time and Synchronization in Executable UML Leon Starr Add to Reading List Source URL: modelint.com Language: English - Date: 2008-12-28 11:46:41 Data modeling Design Diagrams Executable UML UML diagrams Automata theory State diagram Model-driven architecture Finite-state machine Unified Modeling Language Models of computation Software engineering
596	Data Structures in Coco/R Hanspeter Mössenböck Johannes Kepler University Linz Institute of System Software April 2005 This technical note describes the data structures in the C# and Java implementations Add to Reading List Source URL: www.ssw.uni-linz.ac.at Language: English - Date: 2005-04-26 10:03:24 Formal languages Computer science Pattern matching Universal identifiers Nondeterministic finite automaton Deterministic automaton Terminal and nonterminal symbols Deterministic finite automaton International Article Number Automata theory Models of computation Theoretical computer science
597	Table of Contents Invited Lectures Add to Reading List Source URL: www.i3s.unice.fr Language: English - Date: 2006-04-19 06:42:19 Tree automaton Finite-state machine Ω-automaton Automata theory Theoretical computer science Computer science
598	Dense periodic points in cellular automata F. Blanchard Devaney defines a topological dynamical system to be chaotic if it is sensitive to initial conditions, transitive, and has a dense set of periodic points; several a Add to Reading List Source URL: www.imath.kiev.ua Language: English - Date: 2000-11-21 03:41:42 Dense set Cellular automaton Mathematics Subshift of finite type
599	Microsoft Word - Patel_Sonal_with_Comments4 Add to Reading List Source URL: sdsu-dspace.calstate.edu Language: English - Date: 2013-10-11 12:56:32 Mathematics Models of computation Category theory Finite-state machine Applied mathematics Regular language Syntactic monoid Monoid Aperiodic finite state automaton Automata theory Formal languages Semigroup theory
600	Tree-Walking Automata Cannot Be Determinized Mikolaj Boja´ Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2011-09-30 05:53:43 Tree automaton Nondeterministic finite automaton Regular language Tree Ω-automaton Automata theory Theoretical computer science Computer science

UPDATE